『Software Foundations Vol.1 Logical Foundations』 - pogi-log

『Software Foundations Vol.1 Logical Foundations』

ソフトウェアの基礎(Software_Foundations) 第 1 巻

論理の基礎(Logical Foundations)

Software Foundations Vol.1 Logical Foundations

日本語:

Proofcafe版: http://proofcafe.org/sf/toc.html

chiguri.info版: https://www.chiguri.info/sfja/lf/index.html

調査用

Google.icon 『Software Foundations Vol.1 Logical Foundations』(日)

Google.icon 『software foundations vol.1 logical foundations』(英)

#「ソフトウェアの基礎(Software_Foundations)」シリーズ #Coq